GrpSig\{i\} $\subseteq$ GrpSig\{[i $\mid$ j]\}